//
// Created by 10334 on 2022/9/26.
//

#include "SystemCreation\element.h"

int main() {
	auto current_case = new string("demo");
	auto current_method = new string("separated_smt");
	int time_out = 3600 * 5;//运行上限，单位s
	double clock_accuracy = 0.1;
	auto avionics = new Avionics(current_case, time_out, clock_accuracy);

}